00100 (DE PARMOD(C D) 00200 (COND((EQ C D) NIL)((ALLNEG C)(PARMOD1 D C))((ALLNEG D)(PARMOD1 C D)) 00300 (T(NCONC(PARMOD1 C D)(PARMOD1 D C)))))